|
|
Indicator of Thunderstorm
Studený, Pavel ; Sekora, Jiří (referee) ; Chmelař, Milan (advisor)
The aim of this Bachelor thesis is a theoretical analysis of thunderstorms, lightning and their detection. The theoretical description then gradually moving towards designing their own detector. The detector will operate so that when a lightning activity captures pulses which generate lightning. Lightning will register using the attached counter. After the storm could be due to information from the counters to evaluate how strong the storm was.
|
|
|
The impact of storm electricity on air transport
Fiala, Ľuboš ; Imriš, Pavel (referee) ; Krška, Karel (advisor)
The bachelor thesis aims to clarify the issue of storm electricity as the side effect of cumulonimbus. It describes formation, types, structure, and phases of storm clouds, as well as formation of electric discharge and rare electrometeors. Furthermore, it is focused on the ways of forecast and lightning localisation and their effects on air transport, along with given regulations during flight in storms.
|
|
|
Thunder detector (lightning indicator)
Trávníček, Tomáš ; Rampl, Ivan (referee) ; Chmelař, Milan (advisor)
The aim of this Bachelor’s thesis is to gain knowledge from the storm, it’s manifestations, detection through these speeches and then using this knowledge gained to design a simple indicator of thunderstorm’s (lightning), which will operate on the principle of counting flashes. The drafting of the principles and use of simple electronic component’s. The result of all this work is making a functional indicator of the sample.
|
|
| |
|
|
Thunderstorms occurrence in the Czech Republic
Kovář, Jan ; Krška, Karel (referee) ; Jebáček, Ivo (advisor)
This bachelor thesis focuses on storm situations in the Czech Republic and their occurrence in the period 1961-2020. It analyses the conditions of occurrence and appearance of thunderstorms and describes the storm activity at Karlovy Vary, Prague-Ruzyně, Brno-Tuřany and Ostrava-Mošnov airports in the period between 2001-2020. Marginal mention is made of the phenomena accompanying the storm, conditions of its passage and methods of detection.
|
|
|
Counter-Example Generation in the Analysis of Markov Models
Molek, Martin ; Matyáš, Jiří (referee) ; Češka, Milan (advisor)
This thesis deals with generating counterexamples in context of probabilistic models. Counterexamples are generated for Markov models (specifically DTMC). Definitions of model properties are given by logic PCTL. Two algorithms (Best-first search and Recursive Enumration Algorithm) are used to generate these counterexamples. Thesis describes implementation of algorithms into verification tool STORM. The results of experiments show that REA is capable of handling models containg millions of states.
|
|
|
Design and construction of measuring equipment for lightning research
Kirsanov, Ivan ; Krajsa, Ondřej (referee) ; Roubal, Zdeněk (advisor)
The main aim of this semester work is the design of meter of an electrostatic field in the open landscape. The theoretical part focuses on describing the theory of the creation of an electrostatic field and on proven measurement methods. The practical part of the bachelor's work is focused on the design of a measuring instrument, selection of components and justification. The practical part includes a block diagram of wiring.
|
|
|
Efficient Analysis of Stochastic Biochemical Systems
Tušimová, Lucia ; Hruška, Martin (referee) ; Češka, Milan (advisor)
The aim of the thesis is to make computation of the biochemical reaction networks more efficient. Modeling of biochemical systems using numerical methods uses continuous-time Markov chains. The problem is that in biochemical reactions arises an unmanageable amount of states. The fast adaptive uniformization method solves this problem at the cost of a small rounding mistake. This method was implemented in the STORM, which is tool for the analysis of systems involving random or probabilistic phenomena. Consequently, the effectiveness of this method was verified on a set of experiments.
|
|
|
Uplatnění metod lineárního programování při řešení dopravních úloh
Charousová, Kateřina
The goal of this diploma thesis is to produce new optimized distribution routes for a concrete company while trying to minimize costs for distribution of products. The theoretical part of the paper describes basic terms and methods related to the topic. The practical part deals with optimisation of distribution route itself, mainly through Mayer´s method and STORM program, while keeping in mind the optimal location of a new warehouse in the territory of Bohemia. Obtained results are always compared with the original or other optimized solution.
|
|
| |
guest ::
